Structured Formal Development in VSE II : TheRobertino Case
نویسندگان
چکیده
منابع مشابه
Overview over the Project 1 Structure of Quest
The software development project Quest provides tools to build correct software, especially for embedded systems. It connects the CASE-tool AutoFocus to the formal development tool VSE II, and the model checker SMV. To increase quality of non-formally developed programs a test environment is realized, containing a connection to the test-case classiication tool CTE. Proving the correctness of th...
متن کاملModeling Dynamic Processes in TLA
The formal development method of VSE (Veriication Support Environment) for state-based systems is based on a variant of TLA. VSE supports structured speciications, modular reenements, and also modular proofs. There are applications where one wants (or has) to consider an indeenite number of processes or even processes that are created and deleted dynamically. The general problem that arises in ...
متن کاملAutomated Reasoning for System Veriication
The paper presents a rather condensed survey of the Veri cation Support Environment VSE-II, a kind of CASE tool for formal software development. VSE-II is currently employed among others within the joint project FairPay on dependability of electronic payment systems. This has caused some remarkable interest in the VSE methodology which motivated the author to prepare the present tutorial introd...
متن کاملFormal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, architecture, and proof support of the system. For illustration a commercial application from the IT-security domain is used.
متن کاملDeduction in the Veriication Support Environment (vse)
The reliability of complex software systems is becoming increasingly important for the technical systems they are embedded in. In order to assure the highest levels of trustworthiness of software formal methods for the development of software are required. The VSE-tool was developed by a consortium of German universities and industry to make a tool available which supports this formal developme...
متن کامل